A modular graph transformation rule set for IFC‐to‐CityGML conversion

نویسندگان

چکیده

Conversion of Industry Foundation Classes (IFC) building models into CityGML city is one the operational scenarios for BIM–GIS integration, with a variety applications producing and consuming data on either side. Given in-depth cross-domain knowledge required to specify such conversions, heterogeneity IFC input use cases resulting CityGML, flexible configurable solutions are needed that make conversion details accessible domain specialists. Graph transformation as method fulfils these requirements. We propose extend modularity given by single rules at more coarse-grained level identify four layers modules associated rules. describe self-contained set across demonstrate its application range models.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modular Termination of Graph Transformation

We establish a machine-checkable condition which ensures that the union of two terminating hypergraph transformation systems is terminating. The condition is based on so-called sequential critical pairs which represent consecutive rule applications that are not independent. In contrast to a corresponding modularity result for term rewriting, no restrictions on the form of rules are required. Ou...

متن کامل

A set of modular binary vectors for transformation of cereals.

Genetic transformation of crop plants offers the possibility of testing hypotheses about the function of individual genes as well as the exploitation of transgenes for targeted trait improvement. However, in most cereals, this option has long been compromised by tedious and low-efficiency transformation protocols, as well as by the lack of versatile vector systems. After having adopted and furt...

متن کامل

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions

Due to the special requirements of distributed systems, it is important that modeling techniques for this kind of systems ooer a stringent module concept. Each module has to support the encapsulation of data structure as well as functionality also at runtime. Modular graph transformation, presented in this contribution, supports these features. Modules are built up of speciications where attrib...

متن کامل

Fixed points for Banach and Kannan contractions in modular spaces with a graph

In this paper, we discuss the existence and uniqueness of xed points for Banach and Kannancontractions dened on modular spaces endowed with a graph. We do not impose the Δ2-conditionor the Fatou property on the modular spaces to give generalizations of some recent results. Thegiven results play as a modular version of metric xed point results.

متن کامل

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

We present an approach to attributed graph transformation which requires neither infinite graphs containing data algebras nor auxiliary edges that link graph items with their attributes. Instead, we use the double-pushout approach with relabelling and extend it with rule schemata which are instantiated to ordinary rules prior to application. This framework provides the formal basis for the grap...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Transactions in Gis

سال: 2021

ISSN: ['1361-1682', '1467-9671']

DOI: https://doi.org/10.1111/tgis.12723